linear programming formulation